Serge Haddad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Kahnawake Schools Diabetes Prevention Project: Intervention, Evaluation, and Baseline Results of a Diabetes Primary Prevention Program with a Native Community in Canada

Ann C. Macaulay, Gilles Paradis, Louise Potvin, Edward J. Cross, Chantal Saad-Haddad, Alex McComber, Serge Desrosiers, Rhonda Kirby, Louis T. Montour, Donna L. Lamping, Nicole Leduc, Michèle Rivard

Journal:

Preventive Medicine

Year:

1997

Language:

english

File:

PDF, 164 KB

english, 1997

2

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Ballarini, Paolo, Barbot, Benoît, Duflot, Marie, Haddad, Serge, Pekergin, Nihal

Journal:

Performance Evaluation

Year:

2015

Language:

english

File:

PDF, 1.78 MB

english, 2015

3

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - Real Time Properties for Interrupt Timed Automata

Berard, Beatrice, Haddad, Serge, Sassolas, Mathieu

Year:

2010

Language:

english

File:

PDF, 239 KB

english, 2010

4

[IEEE 2010 IEEE Symposium on Computers and Communications (ISCC) - Riccione, Italy (2010.06.22-2010.06.25)] The IEEE symposium on Computers and Communications - Response time of BPEL4WS constructors

Haddad, Serge, Mokdad, Lynda, Youcef, Samir

Year:

2010

Language:

english

File:

PDF, 623 KB

english, 2010

5

Redox-Active Carbohydrate-Coated Nanoparticles: Self-Assembly of a Cyclodextrin–Polystyrene Glycopolymer with Tetrazine–Naphthalimide

Gross, Andrew J., Haddad, Raoudha, Travelet, Christophe, Reynaud, Eric, Audebert, Pierre, Borsali, Redouane, Cosnier, Serge

Journal:

Year:

2016

Language:

english

File:

PDF, 707 KB

english, 2016

6

Memoryless determinacy of finite parity games: Another simple proof

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 253 KB

english, 2018

7

Implementation Fidelity of the National Malaria Control Program in Burkina Faso

Ridde, Valéry, Druetz, Thomas, Poppy, Serge, Kouanda, Seni, Haddad, Slim, Keating, Joseph A.

Journal:

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

8

Tris(bispyrene-bipyridine)iron(II): A Supramolecular Bridge for the Biofunctionalization of Carbon Nanotubes via π-Stacking and Pyrene/β-Cyclodextrin Host–Guest Interactions

Dr. Alan Le Goff, Dr. Karine Gorgy, Dr. Michael Holzinger, Dr. Raoudha Haddad, Marc Zimmerman, Dr. Serge Cosnier

Journal:

Chemistry - A European Journal

Year:

2011

Language:

english

File:

PDF, 726 KB

english, 2011

9

Sub-stochastic matrix analysis for bounds computation—Theoretical results

Serge Haddad, Patrice Moreaux

Journal:

European Journal of Operational Research

Year:

2007

Language:

english

File:

PDF, 261 KB

english, 2007

10

Pyrene-adamantane-β-cyclodextrin: An efficient host–guest system for the biofunctionalization of SWCNT electrodes

Raoudha Haddad, Michael Holzinger, Reynaldo Villalonga, Astrid Neumann, Jaan Roots, A. Maaref, Serge Cosnier

Journal:

Year:

2011

Language:

english

File:

PDF, 728 KB

english, 2011

11

Tailoring of optical phonon modes in nanoscale semiconductor structures: role of interface-optical phonons in quantum-well lasers

Gregory Belenky, Mitra Dutta, Vera B. Gorfinkel, George I. Haddad, G.J. Iafrate, K.W. Kim, Mikhail Kisin, Serge Luryi, Michael A. Stroscio, J.P. Sun, H.B. Teng, SeGi Yu

Journal:

Physica B: Condensed Matter

Year:

1999

Language:

english

File:

PDF, 93 KB

english, 1999

12

A Review of Traditional Remedies of Ciguatera Fish Poisoning in the Pacific

Shilpa Kumar-Roiné, H. Taiana Darius, Mariko Matsui, Nicolas Fabre, Mohamed Haddad, Mireille Chinain, Serge Pauillac, Dominique Laurent

Journal:

Phytotherapy Research

Year:

2011

Language:

english

File:

PDF, 470 KB

english, 2011

13

Recursive Petri nets

Serge Haddad, Denis Poitrenaud

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 1.61 MB

english, 2007

14

Interrupt Timed Automata: verification and expressiveness

Béatrice Bérard, Serge Haddad, Mathieu Sassolas

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 1.67 MB

english, 2012

15

Timed Petri nets and timed automata: On the discriminating power of zeno sequences

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 931 KB

english, 2008

16

Multiple functionalization of single-walled carbon nanotubes by dip coating

Holzinger, Michael, Baur, Jessica, Haddad, Raoudha, Wang, Xu, Cosnier, Serge

Journal:

Chemical Communications

Year:

2011

Language:

english

File:

PDF, 1.17 MB

english, 2011

17

Uterine Doppler wave form and the prediction of the recurrence of pre-eclampsia and intra-uterine growth retardation in patients treated with low-dose aspirin

Bassam Haddad, Michèle Uzan, Gérard Bréart, Serge Uzan

Journal:

European Journal of Obstetrics & Gynecology and Reproductive Biology

Year:

1995

Language:

english

File:

PDF, 426 KB

english, 1995

18

[ACM Press the first international joint conference - Bologna, Italy (2002.07.15-2002.07.19)] Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2 - AAMAS '02 - Open protocol design for complex interactions in multi-agent systems

Mazouzi, Hamza, Seghrouchni, Amal El Fallah, Haddad, Serge

Year:

2002

Language:

english

File:

PDF, 338 KB

english, 2002

19

The HOXB4 Homeoprotein Differentially Promotes Ex Vivo Expansion of Early Human Lymphoid Progenitors

Rima Haddad, Françoise Pflumio, Isabelle Vigon, Géraldine Visentin, Céline Auvray, Serge Fichelson, Sophie Amsellem

Journal:

Year:

2008

Language:

english

File:

PDF, 952 KB

english, 2008

20

Microsatellite Instability as a Prognostic Factor in Resected Colorectal Cancer Liver Metastases

Riad Haddad, Robert T. Ogilvie, Marina Croitoru, Victoria Muniz, Robert Gryfe, Aaron Pollet, Preshanthini Shanmugathasan, Timothy Fitzgerald, Calvin H. L. Law, Sherif S. Hanna, Serge Jothy, Mark Redst

Journal:

Annals of Surgical Oncology

Year:

2004

Language:

english

File:

PDF, 251 KB

english, 2004

21

Performance of a Carboxydothermus hydrogenoformans-immobilizing membrane reactor for syngas upgrading into hydrogen

Zhao, Ya, Haddad, Mathieu, Cimpoia, Ruxandra, Liu, Zhijun, Guiot, Serge R.

Journal:

International Journal of Hydrogen Energy

Year:

2013

Language:

english

File:

PDF, 753 KB

english, 2013

22

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || On Profiles and Footprints – Relational Semantics for Petri Nets

Haddad, Serge, Pomello, Lucia

Year:

2012

Language:

english

File:

PDF, 358 KB

english, 2012

23

Distributed Systems (Design and Algorithms) || Introduction

Haddad, Serge, Kordon, Fabrice, Pautet, Laurent, Petrucci, Laure

Year:

2013

Language:

english

File:

PDF, 110 KB

english, 2013

24

Bounding models families for performance evaluation in composite Web services

Haddad, Serge, Mokdad, Lynda, Youcef, Samir

Journal:

Journal of Computational Science

Year:

2013

Language:

english

File:

PDF, 975 KB

english, 2013

25

In situ synthesis of stable mixed ligand Fe2+ complexes on bipyridinyl functionalized electrodes and nanotube supports

Haddad, Raoudha, Gorgy, Karine, Holzinger, Michael, Cosnier, Serge

Journal:

Chemical Communications

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

26

Growth profile ofCarboxydothermus hydrogenoformanson pyruvate

Haddad, Mathieu, Cimpoia, Ruxandra, Zhao, Ya, Guiot, Serge R

Journal:

Year:

2013

Language:

english

File:

PDF, 205 KB

english, 2013

27

Vibrational spectroscopic study of ionic liquids: Comparison between monocationic and dicationic imidazolium ionic liquids

Moumene, Taqiyeddine, Belarbi, El Habib, Haddad, Boumediene, Villemin, Didier, Abbas, Ouissam, Khelifa, Brahim, Bresson, Serge

Journal:

Journal of Molecular Structure

Year:

2014

Language:

english

File:

PDF, 630 KB

english, 2014

28

Performance of Carboxydothermus hydrogenoformans in a gas-lift reactor for syngas upgrading into hydrogen

Haddad, Mathieu, Cimpoia, Ruxandra, Guiot, Serge R.

Journal:

International Journal of Hydrogen Energy

Year:

2014

Language:

english

File:

PDF, 650 KB

english, 2014

29

MWCNT-supported phthalocyanine cobalt as air-breathing cathodic catalyst in glucose/O2 fuel cells

Elouarzaki, Kamal, Haddad, Raoudha, Holzinger, Michael, Le Goff, Alan, Thery, Jessica, Cosnier, Serge

Journal:

Journal of Power Sources

Year:

2014

Language:

english

File:

PDF, 660 KB

english, 2014

30

Ordinal theory for expressiveness of well-structured transition systems

Bonnet, Rémi, Finkel, Alain, Haddad, Serge, Rosa-Velardo, Fernando

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 527 KB

english, 2013

31

Participatory Research with Native Community of Kahnawake Creates Innovative Code of Research Ethics

Ann C. Macaulay, Treena Delormier, Alex M. McComber, Edward J. Cross, Louise P. Potvin, Gilles Paradis, Rhonda L. Kirby, Chantal Saad-Haddad and Serge Desrosiers

Journal:

Canadian Journal of Public Health / Revue Canadienne de Sante'e Publique

Year:

1998

Language:

english

File:

PDF, 926 KB

english, 1998

32

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || P- and T-Systems in the Nets-within-Nets-Formalism

Haddad, Serge, Pomello, Lucia

Year:

2012

Language:

english

File:

PDF, 353 KB

english, 2012

33

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || Nets-within-Nets to Model Innovative Space System Architectures

Haddad, Serge, Pomello, Lucia

Year:

2012

Language:

english

File:

PDF, 2.91 MB

english, 2012

34

[Lecture Notes in Computer Science] Application and Theory of Petri Nets Volume 7347 || Data and Abstraction for Scenario-Based Modeling with Petri Nets

Haddad, Serge, Pomello, Lucia

Year:

2012

Language:

english

File:

PDF, 386 KB

english, 2012

35

The Relationship Between Porphyromonas gingivalis Infection and Local and Systemic Factors in Children

Bimstein, Enrique, Sapir, Shabetai, Houri-Haddad, Yael, Dibart, Serge, Van Dyke, Thomas E., Shapira, Lior

Journal:

Journal of Periodontology

Year:

2004

Language:

english

File:

PDF, 115 KB

english, 2004

36

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets

Haddad, Serge, Schmitz, Sylvain, Schnoebelen, Philippe

Year:

2012

Language:

english

File:

PDF, 333 KB

english, 2012

37

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - A framework to design and solve Markov Decision Well-formed Net models

Beccuti, M., Codetta-Raiteri, D., Franceschinis, G., Haddad, Serge

Year:

2007

Language:

english

File:

PDF, 183 KB

english, 2007

38

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Collision avoidance in Intelligent Transport Systems: towards an application of control theory

Berard, Beatrice, Haddad, Serge, Messan Hillah, Lom, Kordon, Fabrice, Thierry-Mieg, Yann

Year:

2008

Language:

english

File:

PDF, 195 KB

english, 2008

39

[IEEE Networks (DSN) - Lisbon, Portugal (2009.06.29-2009.07.2)] 2009 IEEE/IFIP International Conference on Dependable Systems & Networks - Parametric NdRFT for the derivation of optimal repair strategies

Beccuti, Marco, Franceschinis, Giuliana, Haddad, Serge

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

40

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

Haddad, Serge, Pekergin, Nihal

Year:

2009

Language:

english

File:

PDF, 305 KB

english, 2009

41

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - CSL^TA: an Expressive Logic for Continuous-Time Markov Chains

Donatelli, Susanna, Haddad, Serge, Sproston, Jeremy

Year:

2007

Language:

english

File:

PDF, 334 KB

english, 2007

42

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic

Ballarini, Paolo, Djafri, Hilal, Duflot, Marie, Haddad, Serge, Pekergin, Nihal

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

43

[IEEE 2011 IEEE International Conference on Automation Science and Engineering (CASE 2011) - Trieste, Italy (2011.08.24-2011.08.27)] 2011 IEEE International Conference on Automation Science and Engineering - Petri nets compositional modeling and verification of Flexible Manufacturing Systems

Ballarini, Paolo, Djafri, Hilal, Duflot, Marie, Haddad, Serge, Pekergin, Nihal

Year:

2011

Language:

english

File:

PDF, 580 KB

english, 2011

44

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency IX Volume 8910 ||

Koutny, Maciej, Haddad, Serge, Yakovlev, Alex

Year:

2014

Language:

english

File:

PDF, 11.69 MB

english, 2014

45

Study of imidazolium dicationic ionic liquids by Raman and FTIR spectroscopies: The effect of the nature of the anion

Moumene, Taqiyeddine, Belarbi, El Habib, Haddad, Boumediene, Villemin, Didier, Abbas, Ouissam, Khelifa, Brahim, Bresson, Serge

Journal:

Journal of Molecular Structure

Year:

2015

Language:

english

File:

PDF, 859 KB

english, 2015

46

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Efficient state-based analysis by introducing bags in Petri nets color domains

Haddad, Serge, Kordon, Fabrice, Petrucci, Laure, Pradat-Peyre, Jean-Francois, Treves, Leolas

Year:

2009

Language:

english

File:

PDF, 3.53 MB

english, 2009

47

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency IX Volume 8910 || Software Engineering with Petri Nets: A Web Service and Agent Perspective

Koutny, Maciej, Haddad, Serge, Yakovlev, Alex

Year:

2014

Language:

english

File:

PDF, 4.03 MB

english, 2014

48

CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES

RECALDE, LAURA, HADDAD, SERGE, SILVA, MANUEL

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

49

New Efficient Petri Nets Reductions for Parallel Programs Verification

HADDAD, Serge, PRADAT-PEYRE, Jean-François

Journal:

Parallel Processing Letters

Year:

2006

Language:

english

File:

PDF, 876 KB

english, 2006

50

Granulomatous Myositis and Myopathy Associated with Crohn's Colitis

Ménard, Daniel B., Haddad, Henry, Blain, J.G., Beaudry, René, Devroede, Ghislain, Massé, Serge

Journal:

Boston Medical and Surgical Journal

Year:

1976

File:

PDF, 1.09 MB

1976

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски